1. Formal verification :
المؤلف: Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867
2. Formal verification : an essential toolkit for modern VLSI design
المؤلف: Seligman, Erik
المکتبة: (طهران)
موضوع: Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
رده :
TK
7867
.
S46F6
3. Math Mutation Classics
المؤلف: \ Erik Seligman
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics -- Popular works,Mathematics -- Problems, exercises, etc,Mathematics ,ریاضیات -- به زبان ساده,ریاضیات -- مسایل، تمرین‌ها و غیره,ریاضیات
رده :
E-Book
,
4. Math mutation classics :
المؤلف: Erik Seligman
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics, Popular works,Mathematics, Problems, exercises, etc
رده :
QA93
